$\forall$${\it es}$:ES, $P$:(E$\rightarrow\mathbb{P}$), $H$:(\{$e$:E$\mid$ $P$($e$)\} $\rightarrow$(\{$e$:E$\mid$ $P$($e$)\}  List)).
\\[0ex]h{-}ordered(${\it es}$;$e$.$P$($e$);$H$) $\Rightarrow$ ($\forall$$a$, $b$, $c$:\{$e$:E$\mid$ $P$($e$)\} . ($a$ $\in$ $H$($b$)) $\Rightarrow$ ($b$ $\in$ $H$($c$)) $\Rightarrow$ ($a$ $\in$ $H$($c$)))